void kernel_halt();
